A Formal Expression of the Safety and Functional Requirements of a Safety - Critical System
نویسندگان
چکیده
This paper overviews the work of the EC funded DRIVE Safely project and some of the recommendations for development and production of safe Road Traffic Informatic systems. A selection of the methods currently identified as suitable for formal specification of safety-critical systems is reviewed. A formal specification of the functional and safety requirements for "Pelican" equipment is given in Z. This is used to identify deficiencies in the Department of Transport source specification. The implications of the lack of "formal methods technology" on the choice of a formal specification method for safety-critical systems is discussed.
منابع مشابه
Assessment of safety status and functional, structural and non-structural preparedness of health centers in Hamadan against disasters
Background: The most important demand of people in disasters is health and the provision of coordinated, integrated, continuous, and accessible health services. Effective disaster management depends on anticipating and identifying disaster problems and considering the necessary facilities. The aim of this study was to evaluate the safety status and functional, structural, and non-structural pre...
متن کاملAn Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL
One of the primary concerns in developing computer embedded safety-critical systems is how to develop quality software. Software must fulll its functional requirements and must not contribute to the violation of safety properties of the entire system. To this end, capturing error free and satisfactory functional requirements is crucial before proceeding to the subsequent development phases. We ...
متن کاملA Healthcare Case Study ( Extended abstract ) The MATISSE - project
Within our healthcare case study we develop a safety-critical drug discovery system. When developing safety-critical systems, it is necessary to satisfy not only functional requirements defining the set of tasks to be performed by the system, but also safety requirements describing which characteristics the system should possess in order to ensure proper safety. Safety and reliability are acute...
متن کاملارزیابی وضعیت ایمنی به روش ممیزی در بیمارستانهای آموزشی دانشگاه علوم پزشکی شیراز
Background and Aim: Hospitals are among the most important establishments providing health services, in which -- due to special hazards -- the observance of safety principles is of great importance. This research aimed to study the safety conditions at educational hospitals of Shiraz University of Medical Sciences(SUMS). Materials and Methods: This cross-sectional descriptive study was conduct...
متن کاملThe Use of Formal Methods in ATT Systems , A Safety - critical Case
This paper overviews the work of the EC funded DRIVE Safely project and some of its recommendations for the development and production of safe Road Traac Informatic systems. A selection of the methods currently iden-tiied as suitable for formal speciication of safety-critical systems is reviewed and a formal speciication of the functional and safety requirements for a pedestrian crossing system...
متن کامل